MODEL DRIVEN SOFTWARE PRODUCT LINE ENGINEERING: SYSTEM VARIABILITY VIEW AND PROCESS IMPLICATIONS

La Ingeniería de Líneas de Productos Software -Software Product Line Engineerings (SPLEs) en inglés- es una técnica de desarrollo de software que busca aplicar los principios de la fabricación industrial para la obtención de aplicaciones informáticas: esto es, una Línea de productos Software -Software Product Line (SPL)- se emplea para producir una familia de productos con características comunes, cuyos miembros, sin embargo, pueden tener características diferenciales. Identificar a priori estas características comunes y diferenciales permite maximizar la reutilización, reduciendo el tiempo y el coste del desarrollo. Describir estas relaciones con la suficiente expresividad se vuelve un aspecto fundamental para conseguir el éxito. La Ingeniería Dirigida por Modelos -Model Driven Engineering (MDE) en inglés- se ha revelado en los últimos años como un paradigma que permite tratar con artefactos software con un alto nivel de abstracción de forma efectiva. Gracias a ello, las SPLs puede aprovecharse en granmedida de los estándares y herramientas que han surgido dentro de la comunidad de MDE. No obstante, aún no se ha conseguido una buena integración entre SPLE y MDE, y como consecuencia, los mecanismos para la gestión de la variabilidad no son suficientemente expresivos. De esta manera, no es posible integrar la variabilidad de forma eficiente en procesos complejos de desarrollo de software donde las diferentes vistas de un sistema, las transformaciones de modelos y la generación de código juegan un papel fundamental. Esta tesis presenta MULTIPLE, un marco de trabajo y una herramienta que persiguen integrar de forma precisa y eficiente los mecanismos de gestión de variabilidad propios de las SPLs dentro de los procesos de MDE. MULTIPLE proporciona lenguajes específicos de dominio para especificar diferentes vistas de los sistemas software. Entre ellas se hace especial hincapié en la vista de variabilidad ya que es determinante para la especificación de SPLs.Gómez Llana, A. (2012). MODEL DRIVEN SOFTWARE PRODUCT LINE ENGINEERING: SYSTEM VARIABILITY VIEW AND PROCESS IMPLICATIONS [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/15075Palanci

Implementación de un lenguaje de definición de operaciones complejas en Gestión de Modelos para la herramienta MOMENT

La Ingeniería dirigida por Modelos permite incrementar la productividad en el proceso de desarrollo software, obteniendo herramientas más interoperables y sencillas de mantener mediante técnicas que elevan el nivel de abstracción. En esta dirección, ha aparecido la disciplina «Gestión de Modelos», que proporciona un conjunto de operadores genéricos basados en teoría de conjuntos para tratar con modelos. Esta aproximación muestra su potencia en las capacidades de composicionalidad de los operadores que proporciona. La tesis de máster que el alumno presenta, describe cómo se proporciona soporte a la definición de operadores complejos con una herramienta del marco de la Gestión de Modelos (MOMENT) mediante un lenguaje específico de dominio.Gómez Llana, A. (2007). Implementación de un lenguaje de definición de operaciones complejas en Gestión de Modelos para la herramienta MOMENT. http://hdl.handle.net/10251/12522Archivo delegad

Enforcing reuse and customization in the development of learning objects: a product line approach

© ACM 2015.This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in ACM, In Proceedings of the 30th Annual ACM Symposium on Applied Computing (pp. 261-263). http://dx.doi.org/10.1145/2695664.2695991.The growing use of information technologies in the educational cycles has raised new requirements for the development of In-teractive Learning Materials in terms of content reuse, customi-zation, and ease of creation and efficiency of production. In practical terms, the goal is the development of tools for creating reusable, granular, durable, and interoperable learning objects, and to compose such objects into meaningful courseware pieces. Current learning object development tools require special technical skills in the instructors to exploit reuse and customization features, leading sometimes to unsatisfactory user experiences. In this paper, we explore a new way to reuse and customization following Product Line Engineering principles and tools. We have applied product line-based document engineering tools to create the so-called Learning Object Authoring Tool (LOAT), which supports the development of learning materials following the Cisco s Reusable Information Object strategy. We describe the principles behind LOAT, outline its design, and give clues about how it may be used by instructors to create learning ob-jects in their own disciplines.This project has been funded with support from the European Commission. This publication [communication] reflects the views only of the author, and the Commission cannot be held responsible for any use which may be made of the information contained therein. The work of J.H. Canós and M.C. Penadés is partially funded by the Spanish MEC under grant TIPEx (TIN2010-19859-C03-03).Ezzat Labib Awad, A.; Penades Gramage, MC.; Canos Cerda, JH.; Gómez Llana, A. (2015). Enforcing reuse and customization in the development of learning objects: a product line approach. ACM. doi:10.1145/2695664.2695991SIEEE LTSC, http://ieee-sa.centraldesktop.com/ltsc/Cisco Systems. 1999. Reusable information object strategy, "Definition, Creation over view, and guidelines".Cisco Systems. 2003. Reusable learning object strategy: Designing and developing learning objects for multiple learning approaches, Version 4.5 {white paper}.Merrill, M. D. 1983. Component display theory. In: Instructional design theories and models. Erlbaum Associates.Clark, R. 1989. Developing technical training: a structured approach for the development of classroom and computer-based instructional materials. Performance Technology Press, New York.A. Gómez, M. C. Penadés, J. H. Canós, M. R. S. Borges, M. Llavador. 2014. A framework for variable content document generation with multiple actors. Information and Software Technology, 2014, ISSN 0950--5849.Bloom, BS (ed.). 1956. "Taxonomy of Educational Objectives". Vol. 1: Cognitive Domain. New York: McKay

The MegaM@Rt2 ECSEL project: MegaModelling at runtime-scalable model-based framework for continuous development and runtime validation of complex systems

A major challenge for the European electronic components and systems (ECS) industry is to increase productivity and reduce costs while ensuring safety and quality. Model-Driven Engineering (MDE) principles have already shown valuable capabilities for the development of ECSs but still need to scale to support real-world scenarios implied by the full deployment and use of complex electronic systems, such as Cyber-Physical Systems, and real-time systems. Moreover, maintaining efficient traceability, integration and communication between fundamental stages of the development lifecycle (i.e., design time and runtime) is another challenge to the scalability of MDE tools and techniques. This paper presents “MegaModelling at runtime – Scalable model-based framework for continuous development and runtime validation of complex systems” (MegaM@Rt2), an ECSEL–JU project whose main goal is to address the above mentioned challenges. Driven by both large and small industrial enterprises, with the support of research partners and technology providers, MegaM@Rt2aims to deliver a framework of tools and methods for: (i) system engineering/design and continuous development, (ii) related runtime analysis, and (iii) global model and traceability management.This project has received funding from the Electronic Component Systems for European Leadership Joint Undertaking under grant agreement No. 737494. This Joint Undertaking receives support from the European Union’s Horizon 2020 research and innovation program and from Sweden, France, Spain, Italy, Finland & Czech Republic

Traceability mappings as a fundamental instrument in model transformations

Technological importance of traceability mappings for model transformations is well-known, but they have often been considered as an auxiliary element generated during the transformation execution and providing accessory information. This paper argues that traceability mappings should instead be regarded as a core aspect of the transformation definition, and a key instrument in the transformation management. We will show how a transformation can be represented as the result of execution of a metamodel mapping, which acts as a special encoding of the transformation definition. Since mappings enjoy Boolean operations (as sets of links) and sequential composition (as sets of directed links), encoding transformations by mappings makes it possible to define these operations for transformations as well, which can be useful for model transformation reuse, compositional design, and chaining

Distributing relational model transformation on MapReduce

MDE has been successfully adopted in the production of software for several domains. As the models that need to be handled in MDE grow in scale, it becomes necessary to design scalable algorithms for model transformation (MT) as well as suitable frameworks for storing and retrieving models efficiently. One way to cope with scalability is to exploit the wide availability of distributed clusters in the Cloud for the parallel execution of MT. However, because of the dense interconnectivity of models and the complexity of transformation logic, the efficient use of these solutions in distributed model processing and persistence is not trivial. This paper exploits the high level of abstraction of an existing relational MT language, ATL, and the semantics of a distributed programming model, MapReduce, to build an ATL engine with implicitly distributed execution. The syntax of the language is not modified and no primitive for distribution is added. Efficient distribution of model elements is achieved thanks to a distributed persistence layer, specifically designed for relational MT. We demonstrate the effectiveness of our approach by making an implementation of our solution publicly available and using it to experimentally measure the speed-up of the transformation system while scaling to larger models and clusters

SPL variability management, cardinality and types: An MDA approach

[EN] This paper presents a baseline-oriented modelling (BOM) approach to develop families of software products. BOM is a generic solution implemented as a framework that automatically generates software applications using executable architectural models by means of software product line (SPL) techniques. In order to cope with the variability problem, BOM considers its cardinality and type and implements two solutions: the BOM-EAGER and the BOM-LAZY approaches. BOM has been designed following the model-driven architecture (MDA) standard: all the SPL software artefacts are models, and model transformations enact the SPL production plan.This work has been funded under the Multimodeling Approach for Quality-Aware Software Product Lines: MULTIPLE Project TIN2009-13838, and FPU fellowship programme from the Spanish government, Ref. AP2006-00690.Cabello Espinosa, ME.; Ramos Salavert, I.; Gutiérrez Pulido, JR.; Gómez Llana, A.; Limón Cordero, RN. (2012). SPL variability management, cardinality and types: An MDA approach. International Journal of Intelligent Information and Database Systems. 6(2):129-153. doi:10.1504/IJIIDS.2012.045848S1291536

Software generic measurement framework based on MDA

[EN] Currently, in order to obtain high quality software products it is necessary to carry out a good software processes management in which measurement is a fundamental factor. Due to the great diversity of entities involved in software measurement, a consistent framework to integrate the different entities in the measurement process is required. In this paper the Software Measurement Framework (SMF) is presented, which supports the measurement of any type of software entity through the metamodels which depict them. In this framework, any software entity in any domain could be measured with a common Software Measurement metamodel and by means of QVT transformations. This work explains the three fundamental elements of the Software Measurement Framework (conceptual architecture, technological aspects and method). These elements have all been adapted to the MDE paradigm and to MDA technology, taking advantage of their benefits within the field of software measurement. Furthermore an example which illustrates the framework's application to a concrete domain is furthermore shown.Este trabajo ha sido parcialmente financiado por los proyectos INGENIO (Junta de Comunidades de Castilla-La Mancha and Consejería de Educación y Ciencia. PAC08-0154-9262), ESFINGE (Ministerio de Educación y Ciencia, TIN2006-15175-C05-05) y META (Ministerio de Educación y Ciencia, TIN2006-15175-C05-01).Mora, B.; García, F.; Ruiz, F.; Piattini, M.; Boronat, A.; Gómez Llana, A.; Carsí Cubel, JÁ.... (2011). Software generic measurement framework based on MDA. IEEE Latin America Transactions. 9(1):130-137. https://doi.org/10.1109/TLA.2011.5876432S1301379

On the opportunities of scalable modeling technologies: An experience report on wind turbines control applications development

Scalability in modeling has many facets, including the ability to build larger models and domain specific languages (DSLs) efficiently. With the aim of tackling some of the most prominent scalability challenges in Model-based Engineering (MBE), the MONDO EU project developed the theoretical foundations and open-source implementation of a platform for scalable modeling and model management. The platform includes facilities for building large DSLs, for splitting large models into sets of smaller interrelated fragments, and enables modelers to construct and refine complex models collaboratively, among other features. This paper reports on the improvements provided by the MONDO technologies in a software development division of IK4-IKERLAN, a Medium-sized Enterprise which in recent years has embraced the MBE paradigm. The evaluation, conducted in the Wind Turbine Control Applications development domain, shows that scalable MBE technologies give new growth opportunities to Small and Medium-sized Enterprises

The MegaM@Rt2 ECSEL project: MegaModelling at Runtime - Scalable model-based framework for continuous development and runtime validation of complex systems

A major challenge for the European electronic industry is to enhance productivity by ensuring quality of development, integration and maintenance while reducing the associated costs. Model-Driven Engineering (MDE) principles and techniques have already shown promising capabilities, but they still need to scale up to support real-world scenarios implied by the full deployment and use of complex electronic components and systems. Moreover, maintaining efficient traceability, integration, and communication between two fundamental system life cycle phases (design time and runtime) is another challenge requiring the scalability of MDE. This paper presents an overview of the ECSEL 1 project entitled MegaModelling at runtime: Scalable model-based framework for continuous development and runtime validation of complex systems (MegaM@Rt2), whose aim is to address the above mentioned challenges facing MDE. Driven by both large and small industrial enterprises, with the support of research partners and technology providers, MegaM@Rt2 aims to deliver a framework of tools and methods for: 1) system engineering/design and continuous development, 2) related runtime analysis and 3) global models and traceability management. Diverse industrial use cases (covering strategic domains such as aeronautics, railway, construction and telecommunications) will integrate and demonstrate the validity of the MegaM@Rt2 solution. This paper provides an overview of the MegaM@Rt2 project with respect to its approach, mission, objectives as well as to its implementation details. It further introduces the consortium as well as describes the work packages and few already produced deliverables